Automated reasoning for first-order logic Theory, Practice and Challenges Konstantin Korovin1 The University of Manchester UK

Source URL: www.cs.man.ac.uk

A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI Mohammad Khodadadi, Renate A. Schmidt, and Dmitry Tishkovsky? School of Computer Science, The University of Manchester, UK Abstract The

Source URL: www.mettel-prover.org

Curr Cardiovasc Risk Rep:1–8 DOIs12170DIABETES AND INSULIN RESISTANCE (M RUTTER, SECTION EDITOR) Text Mining Supporting Search for Knowledge Discovery

Source URL: www.nactem.ac.uk

• Computational linguistics
• Data mining
• RTT
• National Centre for Text Mining
• School of Computer Science
• University of Manchester
• Biological databases
• Text mining
• PubMed
• Biomedical text mining
• National Center for Biotechnology Information
• Unified Medical Language System
• Diabetes

REASONING BY ANALOGY IN INDUCTIVE LOGIC A thesis submitted to the University of Manchester for the degree of Doctor of Philosophy in the Faculty of Engineering and Physical Sciences

Source URL: www.maths.manchester.ac.uk

COMP11120 Forty-five minutes UNIVERSITY OF MANCHESTER SCHOOL OF COMPUTER SCIENCE

Source URL: studentnet.cs.manchester.ac.uk

Count and Forget: Uniform Interpolation of SHQ-Ontologies—Long Version? Patrick Koopmann,?? Renate A. Schmidt The University of Manchester, UK Abstract. We propose a method for forgetting concept symbols and

Source URL: www.cs.man.ac.uk

MATH33001 Two hours THE UNIVERSITY OF MANCHESTER PREDICATE LOGIC

Source URL: www.maths.manchester.ac.uk

REVIEWS OF MODERN PHYSICS, VOLUME 81, JANUARY–MARCHThe electronic properties of graphene A. H. Castro Neto Department of Physics, Boston University, 590 Commonwealth Avenue, Boston, Massachusetts 02215, USA

Source URL: www.condmat.physics.manchester.ac.uk

The Axiomatic Translation of Modal Logic into First Order Logic A dissertation submitted to The University of Manchester for the degree of Master of Science in the Faculty of Engineering and Physical Sciences

Source URL: project.kjsmith.net

PROBABILISTIC RELATIONSHIPS, RELEVANCE AND IRRELEVANCE WITHIN THE FIELD OF UNCERTAIN REASONING A thesis submitted to the University of Manchester

Source URL: www.maths.manchester.ac.uk